Synthesis of control implementation for discrete manufacturing systems

International audienceThe paper presents the concepts and steps required to synthesize a correct control implementation for discrete manufacturing systems, starting from Grafcet speci-® cations. A formal framework implementing the synthesis steps is also presented and illustrated with an example of a drilling system

Grafcet: Behavioural Issues and Control Synthesis

International audienceThis paper discusses the difficulties encountered in identifying the correct behaviour of Grafcet specifications in view of synthesising a correct control execution model. Formal algorithms for the synthesis of supervisory controllers related to Grafcet are also proposed. These algorithms consider the constraints induced by the behaviour of the controlled plant so as to identify the required correct behaviour of Grafcet during control execution. The resulting control execution is deadlock-free, and represents the minimal possible restriction of the behaviour of a given Grafcet, subject to a number of specified constraints

Discrete Event Model-Based Approach for Fault Detection and Isolation of Manufacturing Systems

International audienceThis paper presents a discrete event model-based approach for Fault Detection and Isolation of manufacturing systems. This approach considers a system as a set of independent plant elements. Each plant element is composed of a set of interrelated Parts of Plant (PoPs) modeled by a Moore automaton. Each PoP model is only aware of its local behavior. The degraded and faulty behaviors are added to each PoP model in order to obtain extended PoP ones. An extrapolation of Gaussian learning is realized to obtain acceptable temporal intervals between the time occurrences of correlated events. Finally based on the PoP extended models and the links between them, a fault candidates' tree is established for each plant element. This candidates' tree corresponds to a local on-line fault event occurrence observer, called diagnoser. Thus, the diagnosis decision is distributed on each plant element. An application example is used to illustrate the approach

Distributed modeling approach of discrete manufacturing systems by Parts of Plant

International audienceThe paper presents an original approach to model a discrete manufacturing system by Parts of Plant (PoP). This approach takes into account technical and technological specifications of each plant elements. The aim of this works is to realize a reliable simulation of discrete manufacturing systems in design stage before production stage. Models are distributed and established from the functional chain of a process. They take into account the distribution of information through each PoP with its sensors, pre-actuators and actuators. A PoP library is proposed with their corresponding model. An application example is used to illustrate the approach

Unconditional decentralized structure for the fault diagnosis of discrete event systems

International audienceThis paper proposes an unconditional decentralized structure to realize the fault diagnosis of Discrete Event Systems (DES), specially manufacturing systems with discrete sensors and actuators. This structure is composed on the use of a set of local diagnosers, each one of them is responsible of a specific part of the plant. These local diagnosers are based on a modular modelling of the plant in order to reduce the state explosion. Each local diagnoser uses event-based, state based and timed models to take a decision about fault's occurrences. These models are obtained using the information provided by the plant, the controller and the actuators reactivity. All local diagnosis decisions are then merged by a Boolean operator in order to obtain one global diagnosis decision. Finally, the diagnosers are polynomial-time in the cardinality of the state space of the system. This approach is illustrated using an example of manufacturing system

Etude du comportement global d'un SED en vue de la validation de sa commande spécifiée par Grafcet

International audienc

Time-Based Estimator for Control Reconfiguration of Discrete Event Systems (DES)

International audienceIn this paper, we propose a Time-based estimator method to reconfigure manufacturing systems in case of sensor faults detection. The main idea is to replace the information lost by a timed one. In non-faulty behavior, each sensor is defined through two events: activation and deactivation. Our contribution is to define an estimator model of each event based on different clocks to maintain the same desired behavior of the system in a faulty mode (reconfigured)

Grafcet et Graphe d’états : comportement, raffinement, vérification et validationvol 33, n°7, pp 751-782.

International audienc

Démarche progressive d’implantation d’une commande sûre dans un A.P.I. à partir d’une spécification Grafcet. N°3, pp 69-76

International audienc

Démarche progressive d’implantation d’une commande sûre dans un A.P.I. à partir d’une spécification Grafcet. N°3, pp 69-76

International audienc